How to solve list-directed I